Toward Categorical Risk Measure Theory

We introduce a category that represents varying risk as well as ambiguity. We give a generalized conditional expectation as a presheaf for this category, which not only works as a traditional conditional expectation given a σ-field but also is compatible with change of measure. Then, we reformulate dynamic monetary value measures as a presheaf for the category. We show how some axioms of dynamic monetary value measures in the classical setting are deduced as theorems in the new formulation, which is evidence that the axioms are correct. Finally, we point out the possibility of giving a theoretical criteria with which we can pick up appropriate sets of axioms required for monetary value measures to be good, using a topology-as-axioms paradigm.